Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... 2850 (Lecture Notes in Computer Science)
by Moshe Vardi, Andrei Voronkov
ISBN 13: 9783540201014
Format: Paperback (452 pages) Publisher: Springer Published: 13 Jun 2008
Save for later